System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
101	Devcon Construction Case Study \| 1 EGNYTE UNIFIED API OVERVIEW FOR DEVELOPERS Join an elite group of customers and technology developers extending their solution with our industry-leading intelligent file-sharing servic Add to Reading List Source URL: www.egnyte.com Language: English - Date: 2016-06-07 21:04:15 Computing Social software Online backup services Data synchronization Cloud storage File hosting Egnyte File system Application programming interface Computer file
102	1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay Add to Reading List Source URL: fi.ort.edu.uy Language: English Logic Philosophy Abstraction Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Dynamical system Structure Model theory Decomposition of spectrum
103	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system
104	Event Triggered Control of Networked Control Systems/Cyber Physical Systems by using Adaptive Dynamic Programming Investigators: Jag Sarangapani (, Funding Source: National Science Foundati Add to Reading List Source URL: isc.mst.edu Language: English - Date: 2014-05-12 18:26:57 Applied mathematics Control engineering Networked control system Artificial neural network Control theory Cybernetics Systems science
105	Automatic Exploration of SW Concurrency Bugs through Deterministic Behavior Control Luis Gabriel Murillo, Rainer Leupers MAD Workshop, Munich, Germany Add to Reading List Source URL: www.mad-workshop.de Language: English - Date: 2016-03-22 12:43:37 Computer programming Software Debugging Embedded system Programming tool Software bug Lock Thread Debuggers
106	Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:50 Software engineering Computer programming Computing Data types Type theory Functional programming C++ Type class C++ classes Monad Parameter Type system
107	Compiler Generation for Interactive Graphics using Intermediate Code Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pitsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Computing Data types Procedural programming languages Cross-platform software Object-oriented programming languages Functional languages Common Lisp Const Type system D
108	145 Software Sessions Introduction to Software Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:35:48 Software engineering Computing Computer programming Computer Automation Fortran Geographic information system
109	Helmert’s and Bowie’s Geodetic Mapping Methods and Their Relation to Graph-Based SLAM Pratik Agarwal Wolfram Burgard Add to Reading List Source URL: www.lifelong-navigation.eu Language: English - Date: 2014-02-18 08:09:23 Geodesy Measurement Surveying Geomatics Geography Constraint programming Global Positioning System Navigation Decomposition method Simultaneous localization and mapping Least squares adjustment Geodetic datum
110	Custom block distribution on HDFS Ari Yoskovitz Introduction Until this option was presented, Hadoop could only distribute blocks into HDFS in a uniform manner. Explicitly, each machine in the cluster got roughly the sam Add to Reading List Source URL: www.lawa-project.eu Language: English - Date: 2012-05-21 04:09:14 Software Computing Cloud infrastructure Apache Hadoop Apache Software Foundation Cross-platform software High-level programming languages Scripting languages Perl Fsck IBM General Parallel File System

UPDATE